Binary function

Results: 315



#Item
71Model theory / Function / Binary relation / Finitary relation / Integer / Structure / Domain of a function / Inverse function / Equivalence relation / Mathematics / Functions and mappings / Elementary mathematics

CS109A Notes for LectureCartesian Product A  B = set of pairs of elements (a; b) such that a 2 A and b 2 B. Example: S = set of my shirts = fwhite, blue,

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:58:23
72Binary relation / Preference / Equivalence relation / Function / Total order / Completeness / Finitary relation / Well-founded relation / Residuated lattice / Mathematics / Order theory / Mathematical logic

Nancy L. Schwartz Lecture ECONOMICS AND LANGUAGE ARIEL RUBINSTEIN

Add to Reading List

Source URL: www.kellogg.northwestern.edu

Language: English - Date: 2002-04-08 16:58:34
73Mathematical logic / Lambda / Function / Expression / Combinatory logic / Binary lambda calculus / Lambda calculus / Mathematics / Theoretical computer science

Lambda Dependency-Based Compositional Semantics Percy Liang arXiv:1309.4408v2 [cs.AI] 18 SepSeptember 19, 2013

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-09-18 20:24:07
74Submodular set function / Polynomials / Orthogonal polynomials

The Expressive Power of Binary Submodular Functions S. Živný, D. Cohen, P. Jeavons 12 May 2009, BAD, Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-03-11 07:07:11
75Mathematical structures / Function / Binary relation / Ring / Finitary relation / Maximal element / Mathematics / Mathematical logic / Algebraic structures

Consistent Rationalizability∗ Walter Bossert ´ D´epartement de Sciences Economiques and CIREQ Universit´e de Montr´eal

Add to Reading List

Source URL: cis.ier.hit-u.ac.jp

Language: English - Date: 2014-07-01 09:03:40
76Algebraic structures / Binary relation / Transitive closure / Finitary relation / Maximal element / Transitive relation / Function / Constructible universe / Mereology / Mathematics / Order theory / Mathematical logic

Maximal-Element Rationalizability∗ Walter Bossert D´epartement de Sciences Economiques and CIREQ Universit´e de Montr´eal C.P. 6128, succursale Centre-ville Montr´eal QC H3C 3J7

Add to Reading List

Source URL: cis.ier.hit-u.ac.jp

Language: English - Date: 2014-07-03 01:57:35
77Artificial neuron / Tiny Encryption Algorithm / Complete Boolean algebra / FO / Applied mathematics / Boolean algebra / Mathematics / Boolean function

An Algorithm for Affine Approximation of Binary Decision Diagrams Kevin Henshall∗ Peter Schachte∗

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2011-06-03 17:31:41
78Analytic geometry / Elementary mathematics / Binary operations / Function / Metric / Cartesian product / Binary relation / Polynomial / Differential calculus / Mathematics / Mathematical analysis / Functions and mappings

1 Supporting Australian Mathematics Project

Add to Reading List

Source URL: www.amsi.org.au

Language: English - Date: 2013-11-06 00:06:11
79Computing / Cryptography / Computer programming / B-tree / Search algorithms / Hash function / Bloom filter / MD5 / Binary tree / Hashing / Cryptographic hash functions / Error detection and correction

FastAD: An Authenticated Directory for Billions of Objects Paul T. Stanton, Benjamin McKeown, Randal Burns, Giuseppe Ateniese Department of Computer Science, Johns Hopkins University ABSTRACT We develop techniques that m

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2009-09-28 22:39:23
80Boolean algebra / Complexity classes / Logic in computer science / Binary decision diagram / Model checking / Boolean function / Boolean circuit / Circuit / FO / Theoretical computer science / Mathematics / Computational complexity theory

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-12 16:14:35
UPDATE